Programming language theory

Results: 4158



#Item
11Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t

Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-05-21 06:02:19
12the AVOCABO VOCABULARY SERIES Words denoting Loudness vs Faintness

the AVOCABO VOCABULARY SERIES Words denoting Loudness vs Faintness

Add to Reading List

Source URL: www.bookhooks.com

Language: English - Date: 2005-07-31 20:54:34
13Software engineering / Computing / Programming language theory / Contract law / Civil engineering / Construction (Design and Management) Regulations / Americans with Disabilities Act / Ada / Construction / Subcontractor / General contractor

ADA COMPLIANCE AND FINAL ACCEPTANCE OF CONSTRUCTED FACILITIES JSP-10-01ADescription. The contractor shall comply with all laws pertaining to the Americans with Disabilities Act (ADA) during construction of pedes

Add to Reading List

Source URL: spexternal.modot.mo.gov

Language: English
14On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2014-04-01 05:47:01
15Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Add to Reading List

Source URL: mrg.doc.ic.ac.uk

Language: English - Date: 2016-08-22 17:55:56
16Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2015-02-16 13:00:00
17Fall  2015:  EECS  Textbook  Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class se

Fall  2015:  EECS  Textbook  Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class se

Add to Reading List

Source URL: www.eecs.umich.edu

Language: English - Date: 2015-08-27 14:39:22
18Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
19Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf

Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf

Add to Reading List

Source URL: jroesch.github.io

Language: English - Date: 2016-04-16 20:16:50
20CHAPTER V. Thomas Haskell and his Descendants, -Continued. William Lunt, of whom and his ledger, mention was made in the preceding chapter, would seem, according to the ledger, to have had business dealings with most of

CHAPTER V. Thomas Haskell and his Descendants, -Continued. William Lunt, of whom and his ledger, mention was made in the preceding chapter, would seem, according to the ledger, to have had business dealings with most of

Add to Reading List

Source URL: www.westbrookhistoricalsociety.org

Language: English - Date: 2009-10-31 21:59:19